Books by author Maurice H. ter Beek

Showing 1 – 8 out of 8 results

1. 
   New!

   Journeys Between Formal Methods and the Railway Industry

   Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini | Springer, Berlin, 2026

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   100.94 €

   Sale 7 %

   You save 8.42 €

   Buy
2. 

   Web Services and Formal Methods

   Maurice H. ter Beek, Niels Lohman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.53 €

   Sale 7 %

   You save 3.96 €

   Buy
3. 

   Coordination Models and Languages

   Maurice H. ter Beek, Marjan Sirjani | Springer, Berlin, 2022

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   74.14 €

   Buy
4. 

   Formal Methods for Industrial Critical Systems

   Maurice H. Ter Beek | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Critical Systems: Formal Methods and Automated Verification

   Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   From Software Engineering to Formal Methods and Tools, and Back

   Laura Semini, Maurice H. Ter Beek | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Coordination Models and Languages

   Maurice H. ter Beek, Marjan Sirjani | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   123.50 €

   Sale 7 %

   You save 10.33 €

   Buy
8. 

   Integrated Formal Methods

   Maurice H. ter Beek, Rosemary Monahan | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   77.27 €

   Sale 7 %

   You save 6.50 €

   Buy

Books can be collected at many points all over Slovakia. Find out more